Unification and extension of intersection algorithms in numerical algebraic geometry
نویسندگان
چکیده
منابع مشابه
Unification and extension of intersection algorithms in numerical algebraic geometry
The solution set of a system of polynomial equations, called an algebraic set, can be decomposed into finitely many irreducible components. In numerical algebraic geometry, irreducible algebraic sets are represented by witness sets, whereas general algebraic sets allow a numerical irreducible decomposition comprising a collection of witness sets, one for each irreducible component. We denote th...
متن کاملThe Algebraic Intersection Type Unification Problem
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type unification problem is decidable. We give the first nontrivial lower bound for the problem by showing (our main result) that it is exponential time hard. Fur...
متن کاملNumerical algebraic intersection using regeneration
In numerical algebraic geometry, algebraic sets are represented by witness sets. This paper presents an algorithm, based on the regeneration technique, that solves the following problem: given a witness set for a pure-dimensional algebraic set Z, along with a system of polynomial equations f : Z Ñ C, compute a numerical irreducible decomposition of V Z X Vpfq. An important special case is when ...
متن کاملNumerical Algebraic Geometry and Algebraic Kinematics
In this article, the basic constructs of algebraic kinematics (links, joints, and mechanism spaces) are introduced. This provides a common schema for many kinds of problems that are of interest in kinematic studies. Once the problems are cast in this algebraic framework, they can be attacked by tools from algebraic geometry. In particular, we review the techniques of numerical algebraic geometr...
متن کاملNumerical Real Algebraic Geometry
Sottile’s lectures from the Oberwolfach Seminar “New trends in algorithms for real algebraic geometry”, November 23–28, 2009.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Mathematics and Computation
سال: 2017
ISSN: 0096-3003
DOI: 10.1016/j.amc.2016.08.023